home *** CD-ROM | disk | FTP | other *** search
/ IRIX Development Foundation for IRIX 6.3 / SGI IRIX 6.3 Development Foundation.iso / docs6.3 / insight / SGI_bookshelves / SGI_Admin / books / FLEXlm_EUM / styles / fulltext.v < prev    next >
Text File  |  1997-09-11  |  42KB  |  1,384 lines
  1. <!-- Version $Revision: 1.106 $ of the fulltext stylesheet -->
  2.  
  3. <!ENTITY    app.text-b4    CDATA    "if(isempty(attr(LBL,ancestor(APPENDIX))),'',switch(attr(LANG,ancestor(SGIDOC)),de,Anhang ,fr,Appendice ,ja_JP.EUC,╔╒╧┐ ,DEFAULT,Appendix ) attr(LBL,ancestor(APPENDIX)))"    >
  4. <!ENTITY    body.font-family    CDATA    "switch(attr(LANG,ancestor(SGIDOC)),ja_JP.EUC,jiiv_mincho,DEFAULT,new century schoolbook)"    >
  5. <!ENTITY    body.font-size    CDATA    "12"    >
  6. <!ENTITY    body.line-space    CDATA    "17"    >
  7. <!ENTITY    bullet-color    CDATA    "grey30"    >
  8. <!ENTITY    bullet.font-family    CDATA    "switch(attr(LANG,ancestor(SGIDOC)),ja_JP.EUC,jiiv_mincho,DEFAULT,symbol)"    >
  9. <!ENTITY    bullet.character-set    CDATA    "switch(attr(LANG,ancestor(SGIDOC)),ja_JP.EUC,*,DEFAULT,symbol)"    >
  10. <!ENTITY    bullet.font-size    CDATA    "14"    >
  11. <!ENTITY    bullet.left-indent    CDATA    "+=18"    >
  12. <!ENTITY    bullet.text-before    CDATA    "switch(attr(LANG,ancestor(SGIDOC)),ja_JP.EUC,íª,DEFAULT,╖)"    >
  13. <!ENTITY    bullpara.space-b4    CDATA    "6"    >
  14. <!ENTITY    character-set    CDATA    "switch(attr(LANG,ancestor(SGIDOC)),ja_JP.EUC,*,DEFAULT,)"    >
  15. <!ENTITY    chp.text-b4    CDATA    "if(isempty(attr(LBL,ancestor(CHAPTER))),'',switch(attr(LANG,ancestor(SGIDOC)),de,Kapitel ,fr,Chapitre ,ja_JP.EUC,┬Φ ,DEFAULT,Chapter ) attr(LBL,ancestor(CHAPTER))) if(isempty(attr(LBL,ancestor(CHAPTER))),'',switch(attr(LANG,ancestor(SGIDOC)),ja_JP.EUC, ╛╧,DEFAULT,))"    >
  16. <!ENTITY    chp.title.font-size    CDATA    "22"    >
  17. <!ENTITY    chp.title.line-space    CDATA    "28"    >
  18. <!ENTITY    chp.title.space-b4    CDATA    "36"    >
  19. <!ENTITY    command-font    CDATA    "switch(attr(LANG,ancestor(SGIDOC)),ja_JP.EUC,jiiv_gothic,DEFAULT,courier)"    >
  20. <!ENTITY    comment.left-indent    CDATA    "30"    >
  21. <!ENTITY    comment.right-indent    CDATA    "5"    >
  22. <!ENTITY    cross-link.color    CDATA    "#96000d"    >
  23. <!ENTITY    default.foreground    CDATA    "grey20"    >
  24. <!ENTITY    default.ind.space-b4    CDATA    "6"    >
  25. <!ENTITY    default.left-indent    CDATA    "2"    >
  26. <!ENTITY    default.space-after    CDATA    "6"    >
  27. <!ENTITY    default.space-b4    CDATA    "12"    >
  28. <!ENTITY    doc.title.font-size    CDATA    "24"    >
  29. <!ENTITY    doc.title.line-space    CDATA    "30"    >
  30. <!ENTITY    font-slant.italics    CDATA    "switch(attr(LANG,ancestor(SGIDOC)),ja_JP.EUC,*,DEFAULT,Italics)"    >
  31. <!ENTITY    font-slant.roman    CDATA    "switch(attr(LANG,ancestor(SGIDOC)),ja_JP.EUC,*,DEFAULT,Roman)"    >
  32. <!ENTITY    font-weight.bold    CDATA    "switch(attr(LANG,ancestor(SGIDOC)),ja_JP.EUC,Medium,DEFAULT,Bold)"    >
  33. <!ENTITY    font-weight.medium    CDATA    "switch(attr(LANG,ancestor(SGIDOC)),ja_JP.EUC,Medium,DEFAULT,Medium)"    >
  34. <!ENTITY    gloss.first-indent    CDATA    "32"    >
  35. <!ENTITY    gloss.font-family    CDATA    "switch(attr(LANG,ancestor(SGIDOC)),ja_JP.EUC,jiiv_gothic,DEFAULT,helvetica)"    >
  36. <!ENTITY    gloss.lbl.font-size    CDATA    "14"    >
  37. <!ENTITY    gloss.lbl.line-space    CDATA    "20"    >
  38. <!ENTITY    gloss.lbl.space-bef    CDATA    "20"    >
  39. <!ENTITY    gloss.left-indent    CDATA    "18"    >
  40. <!ENTITY    gloss.space-after    CDATA    "0"    >
  41. <!ENTITY    hang.left-indent    CDATA    "+=100"    >
  42. <!ENTITY    hot-link.color    CDATA    "#000078"    >
  43. <!ENTITY    index.text-b4    CDATA    "switch(attr(LANG,ancestor(SGIDOC)),de,Index,fr,Index,ja_JP.EUC,║≈░·,DEFAULT,Index)"    >
  44. <!ENTITY    left-indent.1    CDATA    "48"    >
  45. <!ENTITY    list.left-indent    CDATA    "if(or(tag(ancestor(EXPLANATION)),tag(ancestor(HANGBODY))),+=0,+=18)"    >
  46. <!ENTITY    note.foreground    CDATA    "black"    >
  47. <!ENTITY    right-indent.1    CDATA    "10"    >
  48. <!ENTITY    sec1.line-spacing    CDATA    "22"    >
  49. <!ENTITY    sec1.space-before    CDATA    "14"    >
  50. <!ENTITY    sec1.title.font-size    CDATA    "22"    >
  51. <!ENTITY    sec2.space-before    CDATA    "14"    >
  52. <!ENTITY    sec3.space-before    CDATA    "12"    >
  53. <!ENTITY    sec4.space-before    CDATA    "15"    >
  54. <!ENTITY    space    CDATA    "  "    >
  55. <!ENTITY    sqbul    CDATA    "n"    >
  56. <!ENTITY    sqbul.font-size    CDATA    "8"    >
  57. <!ENTITY    sqbullet.font-family    CDATA    "itc zapf dingbats"    >
  58. <!ENTITY    table-font    CDATA    "switch(attr(LANG,ancestor(SGIDOC)),ja_JP.EUC,jiiv_gothic,DEFAULT,helvetica)"    >
  59. <!ENTITY    tag.font-family    CDATA    "switch(attr(LANG,ancestor(SGIDOC)),ja_JP.EUC,jiiv_gothic,DEFAULT,helvetica)"    >
  60. <!ENTITY    title    CDATA    "black"    >
  61. <!ENTITY    title-font    CDATA    "switch(attr(LANG,ancestor(SGIDOC)),ja_JP.EUC,jiiv_mincho,DEFAULT,new century schoolbook)"    >
  62. <!ENTITY    title.font-family    CDATA    "switch(attr(LANG,ancestor(SGIDOC)),ja_JP.EUC,jiiv_gothic,DEFAULT,helvetica)"    >
  63. <!ENTITY    title.left-indent    CDATA    "-6"    >
  64. <!ENTITY    title.text.b4-lsp    CDATA    "0"    >
  65. <!ENTITY    title.text.b4-size    CDATA    "13"    >
  66. <!ENTITY    wp.font-family    CDATA    "switch(attr(LANG,ancestor(SGIDOC)),ja_JP.EUC,jiiv_mincho,DEFAULT,screen)"    >
  67. <!ENTITY    wp.font-size    CDATA    "12"    >
  68. <!ENTITY    wp.line-spacing    CDATA    "14"    >
  69. <!ENTITY    wp.space-before    CDATA    "40"    >
  70.  
  71. <sheet >
  72.  
  73.  
  74.  
  75. <?INSTED COMMENT: GROUP #TAGS>
  76.  
  77. <group name="#TAGS">
  78.     <font-family>    &tag.font-family    </>
  79.     <font-weight>    &font-weight.medium    </>
  80.     <font-size>    *    </>
  81.     <foreground>    purple    </>
  82.     <score>    Under    </>
  83. </group>
  84.  
  85.  
  86.  
  87. <?INSTED COMMENT: GROUP cells>
  88.  
  89. <group name="cells">
  90.     <left-indent>    if(eq(cnum(),1),48,int(add(48,mult(1.45,attr(LEFT)))))    </>
  91.     <width>    int(mult(1.45,attr(WIDTH)))    </>
  92.     <column>    True    </>
  93. </group>
  94.  
  95. <style name="BULLET,TABLE,TABLEBODY,ROW,CELL" group="cells">
  96.     <left-indent>    if(lsibling(CAPTION,ancestor(TABLEBODY)), if(eq(cnum(),1),48,int(add(48,mult(1.45,attr(LEFT))))), if(eq(cnum(),1),66,int(add(66,mult(1.4,attr(LEFT))))))    </>
  97.     <width>    int(mult(1.4,attr(WIDTH)))    </>
  98. </style>
  99.  
  100. <style name="CELL" group="cells">
  101. </style>
  102.  
  103. <style name="HANGBODY,TABLE,TABLEBODY,ROW,CELL" group="cells">
  104.     <left-indent>    if(lsibling(CAPTION,ancestor(TABLEBODY)), if(eq(cnum(),1),48,int(add(48,mult(1.45,attr(LEFT))))), if(eq(cnum(),1),148,int(add(148,mult(1.4,attr(LEFT))))))    </>
  105.     <width>    int(mult(1.4,attr(WIDTH)))    </>
  106. </style>
  107.  
  108. <style name="LIST,TABLE,TABLEBODY,ROW,CELL" group="cells">
  109.     <left-indent>    if(lsibling(CAPTION,ancestor(TABLEBODY)), if(eq(cnum(),1),48,int(add(48,mult(1.45,attr(LEFT))))), if(eq(cnum(),1),66,int(add(66,mult(1.4,attr(LEFT))))))    </>
  110.     <width>    int(mult(1.4,attr(WIDTH)))    </>
  111. </style>
  112.  
  113.  
  114.  
  115. <?INSTED COMMENT: GROUP note-caut-warn>
  116.  
  117. <group name="note-caut-warn">
  118.     <left-indent>    switch(tag(ancestor()),'BULLET',+=18,'BULLETIND',+=18,'BULLETSQUAREIND',+=18,'LIST',+=18,'DEFAULT',+=0)    </>
  119.     <space-before>    &default.ind.space-b4    </>
  120.     <break-before>    True    </>
  121. </group>
  122.  
  123. <style name="CAUTION" group="note-caut-warn">
  124. </style>
  125.  
  126. <style name="HINT" group="note-caut-warn">
  127.     <break-before>    Line    </>
  128. </style>
  129.  
  130. <style name="NOTE" group="note-caut-warn">
  131. </style>
  132.  
  133. <style name="SHORTCUT" group="note-caut-warn">
  134. </style>
  135.  
  136. <style name="TIP" group="note-caut-warn">
  137.     <break-before>    Line    </>
  138. </style>
  139.  
  140. <style name="WARNING" group="note-caut-warn">
  141.     <font-weight>    &font-weight.bold    </>
  142.     <icon-position>    Left    </>
  143.     <hide>    Off    </>
  144.     <script>    ebt-link FALSE    </>
  145.     <icon-type>    warn    </>
  146. </style>
  147.  
  148.  
  149.  
  150. <?INSTED COMMENT: GROUP titles>
  151.  
  152. <group name="titles">
  153.     <font-family>    &title.font-family    </>
  154.     <font-weight>    &font-weight.bold    </>
  155.     <character-set>    &character-set    </>
  156.     <foreground>    &title    </>
  157.     <justification>    Left    </>
  158.     <break-before>    True    </>
  159. </group>
  160.  
  161. <style name="APPENDIX,TITLE" group="titles">
  162.     <font-size>    &chp.title.font-size    </>
  163.     <line-spacing>    &chp.title.line-space    </>
  164.     <hrule>    Before    </>
  165.     <text-before>&app.text-b4</>
  166. </style>
  167.  
  168. <style name="CHAPTER,TITLE" group="titles">
  169.     <font-size>    &chp.title.font-size    </>
  170.     <left-indent>    48    </>
  171.     <first-indent>    0    </>
  172.     <line-spacing>    &chp.title.line-space    </>
  173.     <hrule>    Before    </>
  174.     <text-before>&chp.text-b4</>
  175. </style>
  176.  
  177. <style name="GLOSSARY,TITLE" group="titles">
  178.     <font-size>    &chp.title.font-size    </>
  179.     <line-spacing>    &chp.title.line-space    </>
  180.     <hrule>    Before    </>
  181. </style>
  182.  
  183. <style name="HELPTOPIC,TITLE" group="titles">
  184.     <font-size>    &doc.title.font-size    </>
  185.     <line-spacing>    &doc.title.line-space    </>
  186.     <hide>    All    </>
  187.     <break-before>    if(ancestor(REFERENCE),true,false)    </>
  188. </style>
  189.  
  190. <style name="INTRODUCTION,TITLE" group="titles">
  191.     <font-size>    &chp.title.font-size    </>
  192.     <line-spacing>    &chp.title.line-space    </>
  193.     <hrule>    Before    </>
  194. </style>
  195.  
  196. <style name="PART,TITLE" group="titles">
  197.     <font-size>    22    </>
  198.     <line-spacing>    26    </>
  199.     <space-before>    6    </>
  200.     <hrule>    Before    </>
  201.     <text-before>PART switch(attr(LBL,ancestor(PART)),I,ONE,II,TWO,III,THREE,IV,FOUR,V,FIVE,VI,SIX,VII,SEVEN,VIII,EIGHT,IX,NINE,DEFAULT,TEN)</>
  202. </style>
  203.  
  204. <style name="SECTION1,TITLE" group="titles">
  205.     <font-size>    &chp.title.font-size    </>
  206.     <line-spacing>    &chp.title.line-space    </>
  207.     <space-before>    &sec1.space-before    </>
  208.     <text-before>if(isempty(attr(LBL,ancestor(SECTION1))),'',join(attr(LBL,ancestor(SECTION1)),'   '))</>
  209. </style>
  210.  
  211. <style name="SECTION2,TITLE" group="titles">
  212.     <font-size>    18    </>
  213.     <line-spacing>    &sec1.line-spacing    </>
  214.     <space-before>    &sec2.space-before    </>
  215.     <text-before>if(isempty(attr(LBL,ancestor(SECTION2))),'',join(attr(LBL,ancestor(SECTION2)),'   '))</>
  216. </style>
  217.  
  218. <style name="SECTION3,TITLE" group="titles">
  219.     <font-size>    14    </>
  220.     <line-spacing>    &body.line-space    </>
  221.     <space-before>    &sec3.space-before    </>
  222.     <text-before>if(isempty(attr(LBL,ancestor(SECTION3))),'',join(attr(LBL,ancestor(SECTION3)),'   '))</>
  223. </style>
  224.  
  225. <style name="SECTION4,TITLE" group="titles">
  226.     <font-size>    &body.font-size    </>
  227.     <line-spacing>    &body.line-space    </>
  228.     <space-before>    &sec4.space-before    </>
  229.     <text-before>if(isempty(attr(LBL,ancestor(SECTION4))),'',join(attr(LBL,ancestor(SECTION4)),'   '))</>
  230. </style>
  231.  
  232. <style name="SPARES,TITLE" group="titles">
  233.     <font-size>    &chp.title.font-size    </>
  234.     <line-spacing>    &chp.title.line-space    </>
  235.     <space-before>    &wp.space-before    </>
  236. </style>
  237.  
  238. <style name="SSB,TITLE" group="titles">
  239.     <font-size>    &chp.title.font-size    </>
  240.     <line-spacing>    &chp.title.line-space    </>
  241.     <space-before>    &wp.space-before    </>
  242. </style>
  243.  
  244. <style name="SUBTITLE" group="titles">
  245.     <font-size>    &chp.title.font-size    </>
  246.     <left-indent>    48    </>
  247.     <line-spacing>    &chp.title.line-space    </>
  248. </style>
  249.  
  250. <style name="SUPPORT,TITLEPAGE,TITLE" group="titles">
  251.     <font-size>    &chp.title.font-size    </>
  252.     <line-spacing>    &doc.title.line-space    </>
  253.     <space-after>    &chp.title.space-b4    </>
  254. </style>
  255.  
  256. <style name="TITLE" group="titles">
  257.     <font-size>    &doc.title.font-size    </>
  258.     <line-spacing>    &doc.title.line-space    </>
  259.     <break-before>    if(ancestor(REFERENCE),true,false)    </>
  260. </style>
  261.  
  262. <style name="TITLEPAGE,TITLE" group="titles">
  263.     <font-size>    &doc.title.font-size    </>
  264.     <left-indent>    48    </>
  265.     <line-spacing>    &doc.title.line-space    </>
  266.     <break-before>    false    </>
  267. </style>
  268.  
  269.  
  270.  
  271. <?INSTED COMMENT: UNGROUPED STYLES FOLLOW>
  272.  
  273. <style name="#QUERY">
  274.     <font-video>    Inverse    </>
  275.     <foreground>    gray55    </>
  276. </style>
  277.  
  278. <style name="#ROOT">
  279.     <character-set>    &character-set    </>
  280.     <break-before>    Line    </>
  281. </style>
  282.  
  283. <style name="#SDATA">
  284.     <font-family>    attr(font)    </>
  285.     <font-weight>    &font-weight.medium    </>
  286.     <font-slant>    &font-slant.roman    </>
  287.     <character-set>    attr(charset)    </>
  288.     <text-before>char(attr(code))</>
  289. </style>
  290.  
  291. <style name="#TAGS">
  292.     <font-size>    -=4    </>
  293.     <foreground>    purple    </>
  294. </style>
  295.  
  296. <style name="APPENDIX">
  297.     <space-before>    &chp.title.space-b4    </>
  298.     <break-before>    True    </>
  299. </style>
  300.  
  301. <style name="APPENDIX,TITLE,#TEXT-BEFORE">
  302.     <font-weight>    &font-weight.bold    </>
  303.     <font-slant>    &font-slant.italics    </>
  304.     <font-size>    &title.text.b4-size    </>
  305.     <line-spacing>    20    </>
  306.     <break-after>    True    </>
  307. </style>
  308.  
  309. <style name="ARGUMENT">
  310.     <font-family>    &body.font-family    </>
  311.     <font-weight>    &font-weight.bold    </>
  312. </style>
  313.  
  314. <style name="AUDIO">
  315.     <foreground>    &hot-link.color    </>
  316.     <icon-position>    Right    </>
  317.     <script>    ebt-launch cmd="attr(APP) attr(FILE)"    </>
  318.     <icon-type>    sound    </>
  319. </style>
  320.  
  321. <style name="BNF">
  322.     <font-slant>    &font-slant.italics    </>
  323. </style>
  324.  
  325. <style name="BNFRULE">
  326.     <left-indent>    &bullet.left-indent    </>
  327.     <break-before>    True    </>
  328. </style>
  329.  
  330. <style name="BNFTERM">
  331.     <space-before>    &default.space-b4    </>
  332.     <break-before>    True    </>
  333. </style>
  334.  
  335. <style name="BOLD">
  336.     <font-weight>    &font-weight.bold    </>
  337. </style>
  338.  
  339. <style name="BULLET">
  340.     <vertical-offset>    0    </>
  341.     <space-after>    0    </>
  342.     <break-before>    True    </>
  343.     <break-after>    False    </>
  344.     <text-before>    &bullet.text-before    </>
  345. </style>
  346.  
  347. <style name="BULLET,#TEXT-BEFORE">
  348.     <font-family>    &bullet.font-family    </>
  349.     <font-size>    &bullet.font-size    </>
  350.     <character-set>    &bullet.character-set    </>
  351.     <foreground>    &bullet-color    </>
  352. </style>
  353.  
  354. <style name="BULLET,PARAGRAPH">
  355.     <break-before>    None    </>
  356.     <select>    LISTPARA*FIRST*eq(1,cnum())    </>
  357. </style>
  358.  
  359. <style name="BULLETIND">
  360.     <space-before>    &default.ind.space-b4    </>
  361.     <break-before>    true    </>
  362.     <text-before>if(tag(ancestor(BULLET)),-,&bullet.text-before)</>
  363. </style>
  364.  
  365. <style name="BULLETIND,#TEXT-BEFORE">
  366.     <font-family>    &bullet.font-family    </>
  367.     <font-size>    &bullet.font-size    </>
  368.     <character-set>    &bullet.character-set    </>
  369.     <foreground>    &bullet-color    </>
  370. </style>
  371.  
  372. <style name="BULLETIND,PARAGRAPH">
  373.     <select>    LISTPARA*FIRST*eq(1,cnum())    </>
  374. </style>
  375.  
  376. <style name="BULLETLIST">
  377.     <space-after>    0    </>
  378. </style>
  379.  
  380. <style name="BULLETLIST,#TEXT-BEFORE">
  381.     <font-family>    &bullet.font-family    </>
  382.     <font-size>    &bullet.font-size    </>
  383.     <character-set>    &bullet.character-set    </>
  384.     <foreground>    &bullet-color    </>
  385. </style>
  386.  
  387. <style name="BULLETLIST,BULLET">
  388.     <space-before>    &default.ind.space-b4    </>
  389.     <break-before>    True    </>
  390.     <break-after>    true    </>
  391.     <text-before>    &bullet.text-before    </>
  392. </style>
  393.  
  394. <style name="BULLETLIST,BULLET,#TEXT-BEFORE">
  395.     <font-family>    &bullet.font-family    </>
  396.     <font-size>    &bullet.font-size    </>
  397.     <character-set>    &bullet.character-set    </>
  398.     <foreground>    &bullet-color    </>
  399. </style>
  400.  
  401. <style name="BULLETLISTIND">
  402.     <left-indent>    &list.left-indent    </>
  403. </style>
  404.  
  405. <style name="BULLETLISTIND,BULLETIND,#TEXT-BEFORE">
  406.     <font-family>    &body.font-family    </>
  407.     <font-size>    &bullet.font-size    </>
  408.     <foreground>    &bullet-color    </>
  409. </style>
  410.  
  411. <style name="BULLETSQUAREIND">
  412.     <vertical-offset>    0    </>
  413.     <space-before>    &default.ind.space-b4    </>
  414.     <break-before>    True    </>
  415.     <break-after>    False    </>
  416.     <text-before>&sqbul</>
  417. </style>
  418.  
  419. <style name="BULLETSQUAREIND,#TEXT-BEFORE">
  420.     <font-family>    &sqbullet.font-family    </>
  421.     <font-size>    &sqbul.font-size    </>
  422.     <character-set>    symbol    </>
  423.     <foreground>    &bullet-color    </>
  424. </style>
  425.  
  426. <style name="BULLETSQUAREIND,CODE">
  427.     <font-family>    &command-font    </>
  428.     <character-set>    &character-set    </>
  429.     <left-indent>    &bullet.left-indent    </>
  430.     <space-before>    &default.space-b4    </>
  431.     <space-after>    &default.space-after    </>
  432.     <justification>    Verbatim    </>
  433.     <break-before>    True    </>
  434. </style>
  435.  
  436. <style name="BULLETSQUAREIND,PARAGRAPH">
  437.     <space-before>    &default.space-b4    </>
  438.     <break-before>    True    </>
  439.     <select>    LISTPARA*FIRST*eq(1,cnum())    </>
  440. </style>
  441.  
  442. <style name="BUTTON">
  443.     <font-slant>    &font-slant.italics    </>
  444. </style>
  445.  
  446. <style name="CALLOUT">
  447.     <font-family>    &tag.font-family    </>
  448. </style>
  449.  
  450. <style name="CAPTION">
  451.     <font-family>    &body.font-family    </>
  452.     <font-size>    &body.font-size    </>
  453.     <space-before>    switch(istrue(ancestor(or(CODE,EXAMPLE))),TRUE,0,DEFAULT,default.ind.space-b4)    </>
  454.     <break-before>    True    </>
  455.     <break-after>    Line    </>
  456.     <column>    False    </>
  457. </style>
  458.  
  459. <style name="CAUTION,#TEXT-BEFORE">
  460.     <font-weight>    &font-weight.bold    </>
  461.     <foreground>    ¬e.foreground    </>
  462. </style>
  463.  
  464. <style name="CELL,PARAGRAPH,FIGURE">
  465.     <line-spacing>    17    </>
  466.     <space-before>    6    </>
  467.     <break-after>    None    </>
  468. </style>
  469.  
  470. <style name="CELL,PARAGRAPH,FIGURE,GRAPHIC">
  471.     <select>    if(eq(file(env(HOME)/.figsInsight),FILE),TBL_GRAPHIC_OUT,TBL_GRAPHIC_IN)    </>
  472. </style>
  473.  
  474. <style name="CELL_PARAGRAPH">
  475.     <space-before>    if(eq(cnum(),1),0,default.space-b4)    </>
  476.     <break-before>    None    </>
  477.     <break-after>    True    </>
  478. </style>
  479.  
  480. <style name="CHAPTER">
  481.     <space-before>    &chp.title.space-b4    </>
  482.     <break-before>    True    </>
  483. </style>
  484.  
  485. <style name="CHAPTER,TITLE,#TEXT-BEFORE">
  486.     <font-family>    &title.font-family    </>
  487.     <font-weight>    &font-weight.bold    </>
  488.     <font-slant>    &font-slant.italics    </>
  489.     <font-size>    &title.text.b4-size    </>
  490.     <line-spacing>    20    </>
  491.     <space-after>    0    </>
  492.     <break-after>    True    </>
  493. </style>
  494.  
  495. <style name="CHECKOFFITEM">
  496.     <space-before>    &default.ind.space-b4    </>
  497.     <text-before>o </>
  498. </style>
  499.  
  500. <style name="CHECKOFFITEM,#TEXT-BEFORE">
  501.     <font-family>    &sqbullet.font-family    </>
  502.     <font-size>    14    </>
  503.     <character-set>    symbol    </>
  504.     <foreground>    &bullet-color    </>
  505.     <break-before>    true    </>
  506. </style>
  507.  
  508. <style name="CMDLINEOPT">
  509.     <font-weight>    &font-weight.bold    </>
  510. </style>
  511.  
  512. <style name="CODE">
  513.     <font-family>    &command-font    </>
  514.     <character-set>    &character-set    </>
  515.     <left-indent>    switch(tag(ancestor()),'BULLET',+=18,'BULLETIND',+=18,'LIST',+=18,'LISTIND',+=18,'DEFAULT',+=0)    </>
  516.     <space-before>    &default.ind.space-b4    </>
  517.     <justification>    Verbatim    </>
  518.     <break-before>    True    </>
  519. </style>
  520.  
  521. <style name="COMMAND">
  522.     <font-slant>    &font-slant.italics    </>
  523. </style>
  524.  
  525. <style name="COMMENT">
  526.     <font-slant>    &font-slant.italics    </>
  527.     <left-indent>    &comment.left-indent    </>
  528.     <right-indent>    &comment.right-indent    </>
  529.     <break-before>    True    </>
  530. </style>
  531.  
  532. <style name="CONTRIBUTORS">
  533.     <font-weight>    &font-weight.bold    </>
  534.     <space-before>    &chp.title.space-b4    </>
  535.     <hide>    Children    </>
  536. </style>
  537.  
  538. <style name="COORDINATE">
  539.     <font-slant>    &font-slant.italics    </>
  540. </style>
  541.  
  542. <style name="COPYRIGHT">
  543.     <font-weight>    &font-weight.bold    </>
  544.     <hide>    Children    </>
  545.     <break-before>    True    </>
  546.     <break-after>    True    </>
  547. </style>
  548.  
  549. <style name="CREDITSPAGE">
  550.     <hide>    Children    </>
  551.     <break-before>    True    </>
  552.     <break-after>    True    </>
  553. </style>
  554.  
  555. <style name="CREDITSPAGE,PARAGRAPH">
  556.     <hide>    Children    </>
  557.     <break-after>    True    </>
  558. </style>
  559.  
  560. <style name="DATE">
  561.     <break-after>    True    </>
  562. </style>
  563.  
  564. <style name="DEFINITION">
  565.     <hide>    All    </>
  566. </style>
  567.  
  568. <style name="DOCNUMBER">
  569.     <font-family>    &tag.font-family    </>
  570.     <hide>    Children    </>
  571.     <break-before>    True    </>
  572.     <break-after>    True    </>
  573. </style>
  574.  
  575. <style name="DOCTITLE">
  576.     <font-slant>    &font-slant.italics    </>
  577. </style>
  578.  
  579. <style name="DUMMY">
  580.     <space-before>    6    </>
  581. </style>
  582.  
  583. <style name="EMPHASIS">
  584.     <font-slant>    &font-slant.italics    </>
  585.     <hide>    if(ancestor(TABLE,ancestor(CAPTION)),ALL,)    </>
  586.     <script-title>    Emphasis    </>
  587.     <script>    if(ancestor(TABLE,ancestor(CAPTION)),ALL,)    </>
  588. </style>
  589.  
  590. <style name="EXAMPLE">
  591.     <font-family>    &command-font    </>
  592.     <character-set>    &character-set    </>
  593.     <left-indent>    switch(tag(ancestor()),'BULLET',+=18,'BULLETIND',+=18,'LIST',+=18,'LISTIND',+=18,'DEFAULT',+=0)    </>
  594.     <space-before>    &default.ind.space-b4    </>
  595.     <justification>    Verbatim    </>
  596.     <break-before>    True    </>
  597. </style>
  598.  
  599. <style name="EXAMPLE,FIGURE">
  600.     <left-indent>    &left-indent.1    </>
  601.     <space-before>    if(eq(file(env(HOME)/.figsInsight),FILE),0,6)    </>
  602.     <space-after>    if(eq(file(env(HOME)/.figsInsight),FILE),0,6)    </>
  603. </style>
  604.  
  605. <style name="EXAMPLE,VLINE">
  606.     <space-before>    &default.space-b4    </>
  607.     <space-after>    &default.space-after    </>
  608.     <break-before>    True    </>
  609.     <break-after>    True    </>
  610. </style>
  611.  
  612. <style name="EXPLANATION">
  613.     <left-indent>    &hang.left-indent    </>
  614.     <break-before>    true    </>
  615. </style>
  616.  
  617. <style name="EXTPROGRAM">
  618.     <foreground>    &cross-link.color    </>
  619.     <left-indent>    40    </>
  620.     <icon-position>    Left    </>
  621.     <script>    ebt-launch cmd="attr(APP) attr(PARMS)"    </>
  622.     <icon-type>    extpgm    </>
  623. </style>
  624.  
  625. <style name="EXTREF">
  626.     <font-weight>    &font-weight.bold    </>
  627.     <foreground>    &cross-link.color    </>
  628.     <left-indent>    switch(attr(INFO),3rd_pty,40,DEFAULT,)    </>
  629.     <icon-position>    switch(attr(INFO),3rd_pty,Left,DEFAULT,Off)    </>
  630.     <script>    ebt-link book=attr(BOOK) tname="ID" tvalue=attr(IDREF)    </>
  631.     <icon-type>    switch(attr(INFO),3rd_pty,sgilink,DEFAULT,)    </>
  632. </style>
  633.  
  634. <style name="FIGURE">
  635.     <left-indent>    &left-indent.1    </>
  636.     <space-before>    if(eq(file(env(HOME)/.figsInsight),FILE),2,6)    </>
  637.     <space-after>    if(eq(file(env(HOME)/.figsInsight),FILE),2,6)    </>
  638.     <break-before>    True    </>
  639. </style>
  640.  
  641. <style name="FIGURE,CAPTION">
  642.     <font-family>    &body.font-family    </>
  643.     <font-size>    &body.font-size    </>
  644.     <foreground>    &hot-link.color    </>
  645.     <icon-position>    if(eq(file(var(fig_dir)/attr(FILE,lsibling(GRAPHIC)).hot),FILE),if(eq(file(env(HOME)/.figsInsight),FILE),Off,Left),Off)    </>
  646.     <break-before>    True    </>
  647.     <script-title>    Graphic    </>
  648.     <script>    ebt-if(contains(attr(FILE,lsibling(GRAPHIC)),.cgm),vector,raster) filename="attr(FILE,lsibling(GRAPHIC))" title="content(me())"    </>
  649.     <icon-type>    if(eq(file(var(fig_dir)/attr(FILE,lsibling(GRAPHIC)).hot),FILE),if(eq(file(env(HOME)/.figsInsight),FILE),empty,rasterhot),empty)    </>
  650. </style>
  651.  
  652. <style name="FIGURE,CAPTION,PREFIX">
  653.     <font-family>    &table-font    </>
  654.     <font-weight>    &font-weight.bold    </>
  655.     <font-size>    &body.font-size    </>
  656.     <script-title>    Graphic    </>
  657.     <script>    ebt-if(contains(attr(FILE,typechild(GRAPHIC,ancestor(FIGURE))),.cgm),vector,raster) filename="attr(FILE,typechild(GRAPHIC,ancestor(FIGURE)))" title="content(me())"    </>
  658.     <icon-type>    empty    </>
  659.     <text-after>if(ancestor(CAPTION),,: ) </>
  660. </style>
  661.  
  662. <style name="FILENAME">
  663.     <font-slant>    &font-slant.italics    </>
  664. </style>
  665.  
  666. <style name="FTNOTE">
  667.     <foreground>    &hot-link.color    </>
  668.     <left-indent>    40    </>
  669.     <icon-position>    Left    </>
  670.     <hide>    Children    </>
  671.     <script>    ebt-reveal  window="new" stylesheet="fulltext.rev" hscroll="false" width=450 title="Footnote"    </>
  672.     <icon-type>    footnote    </>
  673. </style>
  674.  
  675. <style name="FUNCTION">
  676.     <font-family>    &body.font-family    </>
  677.     <font-weight>    &font-weight.bold    </>
  678. </style>
  679.  
  680. <style name="GENERALINFO">
  681.     <space-before>    &default.space-b4    </>
  682. </style>
  683.  
  684. <style name="GLOSSARY">
  685.     <space-before>    &chp.title.space-b4    </>
  686.     <break-before>    True    </>
  687. </style>
  688.  
  689. <style name="GLOSSARYDEF">
  690.     <left-indent>    &left-indent.1    </>
  691.     <space-after>    &gloss.space-after    </>
  692.     <break-before>    True    </>
  693. </style>
  694.  
  695. <style name="GLOSSARYENTRY">
  696.     <font-family>    &gloss.font-family    </>
  697.     <font-weight>    &font-weight.bold    </>
  698.     <space-before>    8    </>
  699.     <break-before>    True    </>
  700.     <break-after>    True    </>
  701. </style>
  702.  
  703. <style name="GLOSSARYITEM">
  704.     <score>    Under    </>
  705.     <space-after>    0    </>
  706.     <script>    sgi-glossary window=new book=glossary stylesheet=fulltext.rev root="'parent(query(<GLOSSARYENTRY> containing 'content(me())'))'"    </>
  707. </style>
  708.  
  709. <style name="GLOSSARYTERM">
  710.     <icon-position>    Off    </>
  711.     <break-before>    True    </>
  712. </style>
  713.  
  714. <style name="GRAPHIC">
  715.     <icon-position>    Left    </>
  716.     <select>    if(eq(file(env(HOME)/.figsInsight),FILE),GRAPHIC_OUT,GRAPHIC_IN)    </>
  717. </style>
  718.  
  719. <style name="GRAPHIC_IN">
  720.     <break-before>    True    </>
  721.     <script-title>    Graphic    </>
  722.     <script>    ebt-if(contains(attr(FILE),.cgm),vector,raster) filename="attr(FILE)" title="content(rsibling('CAPTION'))"    </>
  723.     <inline>    if(contains(attr(FILE),.cgm),vector,raster) scale=if(isempty(attr(SCALE)),FALSE,attr(SCALE)) filename="attr(FILE)"    </>
  724. </style>
  725.  
  726. <style name="GRAPHIC_OUT">
  727.     <foreground>    &hot-link.color    </>
  728.     <left-indent>    -=10    </>
  729.     <icon-position>    Left    </>
  730.     <script-title>    Graphic    </>
  731.     <script>    ebt-if(contains(attr(FILE),.cgm),vector,raster) filename="attr(FILE)" title="content(rsibling('CAPTION'))"    </>
  732.     <icon-type>    if(eq(file(var(fig_dir)/attr(FILE).hot),FILE),rasterhot,raster)    </>
  733. </style>
  734.  
  735. <style name="HANGBODY">
  736.     <left-indent>    &hang.left-indent    </>
  737.     <break-before>    if(ancestor(REFERENCE),if(eq(max(12,length(content(lsibling()))),12), false,true),false)    </>
  738.     <break-after>    False    </>
  739. </style>
  740.  
  741. <style name="HANGBODY,BULLETLISTIND,BULLETIND,#TEXT-BEFORE">
  742.     <font-family>    &bullet.font-family    </>
  743.     <font-size>    &bullet.font-size    </>
  744.     <character-set>    &bullet.character-set    </>
  745.     <foreground>    &bullet-color    </>
  746. </style>
  747.  
  748. <style name="HANGBODY,PARAGRAPH">
  749.     <line-spacing>    &body.line-space    </>
  750.     <break-before>    if(lsibling(PARAGRAPH),True,False)    </>
  751.     <break-after>    True    </>
  752. </style>
  753.  
  754. <style name="HANGBODYIND,PARAGRAPH">
  755.     <left-indent>    &hang.left-indent    </>
  756.     <line-spacing>    &body.line-space    </>
  757.     <break-before>    False    </>
  758.     <break-after>    True    </>
  759. </style>
  760.  
  761. <style name="HANGITEM">
  762.     <line-spacing>    &body.line-space    </>
  763.     <break-before>    True    </>
  764.     <break-after>    False    </>
  765. </style>
  766.  
  767. <style name="HANGLIST">
  768.     <break-before>    False    </>
  769.     <break-after>    False    </>
  770. </style>
  771.  
  772. <style name="HANGLISTIND">
  773.     <left-indent>    &bullet.left-indent    </>
  774.     <break-before>    True    </>
  775.     <break-after>    False    </>
  776. </style>
  777.  
  778. <style name="HANGPAIR">
  779.     <space-before>    &default.ind.space-b4    </>
  780.     <break-before>    False    </>
  781.     <break-after>    False    </>
  782. </style>
  783.  
  784. <style name="HANGPAIR,PARAGRAPH">
  785.     <break-before>    True    </>
  786. </style>
  787.  
  788. <style name="HANGPAIRIND">
  789.     <break-after>    True    </>
  790. </style>
  791.  
  792. <style name="HARDWARELABEL">
  793.     <font-family>    &tag.font-family    </>
  794.     <font-weight>    &font-weight.bold    </>
  795. </style>
  796.  
  797. <style name="HEADER">
  798.     <space-before>    &default.space-b4    </>
  799.     <hide>    Children    </>
  800.     <break-before>    True    </>
  801. </style>
  802.  
  803. <style name="HINT,#TEXT-BEFORE">
  804.     <font-weight>    &font-weight.bold    </>
  805.     <foreground>    ¬e.foreground    </>
  806. </style>
  807.  
  808. <style name="IDX">
  809.     <space-before>    6    </>
  810.     <space-after>    6    </>
  811. </style>
  812.  
  813. <style name="IMAGE">
  814.     <foreground>    &hot-link.color    </>
  815.     <icon-position>    Right    </>
  816.     <script>    ebt-launch cmd="attr(APP) attr(FILE)"    </>
  817.     <icon-type>    vector    </>
  818. </style>
  819.  
  820. <style name="INLINE">
  821.     <select>    if(eq(file(env(HOME)/.figsInsight),FILE),INLINE_OUT,INLINE_IN)    </>
  822. </style>
  823.  
  824. <style name="INLINE,CAPTION">
  825.     <font-family>    &body.font-family    </>
  826.     <font-size>    &body.font-size    </>
  827.     <icon-position>    if(eq(file(env(HOME)/.figsInsight),FILE),Off,Right)    </>
  828.     <break-before>    True    </>
  829.     <script>    sgi-custom type="attr(TYPE,lsibling(INLINE))" parm1="attr(PARM1,lsibling(INLINE))" parm2="attr(PARM2,lsibling(INLINE))" parm3="attr(PARM3,lsibling(INLINE))" parm4="attr(PARM4,lsibling(INLINE))" parm5="attr(PARM5,lsibling(INLINE))" parm6="attr(PARM6,lsibling(INLINE))" parm7="attr(PARM7,lsibling(INLINE))"    </>
  830.     <icon-type>    empty    </>
  831. </style>
  832.  
  833. <style name="INLINEOBJECT">
  834.     <left-indent>    &left-indent.1    </>
  835.     <space-before>    &default.space-b4    </>
  836.     <space-after>    &default.space-after    </>
  837.     <break-before>    True    </>
  838.     <break-after>    True    </>
  839. </style>
  840.  
  841. <style name="INLINE_IN">
  842.     <space-before>    &default.space-b4    </>
  843.     <inline>    custom type="attr(TYPE)" parm1="attr(PARM1)" parm2="attr(PARM2)" parm3="attr(PARM3)" parm4="attr(PARM4)" parm5="attr(PARM5)" parm6="attr(PARM6)" parm7="attr(PARM7)"    </>
  844. </style>
  845.  
  846. <style name="INLINE_OUT">
  847.     <foreground>    &hot-link.color    </>
  848.     <icon-position>    Right    </>
  849.     <script>    sgi-custom type="attr(TYPE)" parm1="attr(PARM1)" parm2="attr(PARM2)" parm3="attr(PARM3)" parm4="attr(PARM4)" parm5="attr(PARM5)" parm6="attr(PARM6)" parm7="attr(PARM7)"    </>
  850.     <icon-type>    media    </>
  851. </style>
  852.  
  853. <style name="INTRODUCTION">
  854.     <space-before>    &chp.title.space-b4    </>
  855.     <break-before>    True    </>
  856. </style>
  857.  
  858. <style name="ITALICS">
  859.     <font-slant>    &font-slant.italics    </>
  860. </style>
  861.  
  862. <style name="KEYWORD">
  863.     <font-family>    &body.font-family    </>
  864.     <font-weight>    &font-weight.bold    </>
  865. </style>
  866.  
  867. <style name="KEYWORDS">
  868.     <break-after>    True    </>
  869. </style>
  870.  
  871. <style name="LABEL">
  872.     <font-weight>    &font-weight.bold    </>
  873.     <font-size>    &gloss.lbl.font-size    </>
  874.     <line-spacing>    &gloss.lbl.line-space    </>
  875.     <space-before>    &gloss.lbl.space-bef    </>
  876. </style>
  877.  
  878. <style name="LAUNCHWORD">
  879.     <foreground>    &cross-link.color    </>
  880.     <script>    ebt-launch cmd="attr(APP) attr(PARMS)"    </>
  881. </style>
  882.  
  883. <style name="LIST,BULLETLISTIND,BULLETIND,#TEXT-BEFORE">
  884.     <font-family>    &bullet.font-family    </>
  885.     <font-size>    &bullet.font-size    </>
  886.     <character-set>    &bullet.character-set    </>
  887.     <foreground>    &bullet-color    </>
  888. </style>
  889.  
  890. <style name="LIST,PARAGRAPH">
  891.     <select>    LISTPARA*FIRST*eq(1,cnum())    </>
  892. </style>
  893.  
  894. <style name="LISTIND">
  895.     <space-before>    &default.ind.space-b4    </>
  896.     <break-before>    True    </>
  897.     <break-after>    False    </>
  898.     <text-before>cnum(me()).</>
  899. </style>
  900.  
  901. <style name="LISTIND,PARAGRAPH">
  902.     <select>    LISTPARA*FIRST*eq(1,cnum())    </>
  903. </style>
  904.  
  905. <style name="LISTPARA*FIRST*FALSE">
  906.     <font-size>    &body.font-size    </>
  907.     <left-indent>    &bullet.left-indent    </>
  908.     <space-before>    &default.ind.space-b4    </>
  909.     <break-before>    True    </>
  910. </style>
  911.  
  912. <style name="LISTPARA*FIRST*TRUE">
  913.     <font-size>    &body.font-size    </>
  914.     <left-indent>    &bullet.left-indent    </>
  915.     <break-before>    False    </>
  916.     <break-after>    False    </>
  917. </style>
  918.  
  919. <style name="MANUAL">
  920.     <font-family>    &body.font-family    </>
  921.     <font-size>    &body.font-size    </>
  922.     <foreground>    &default.foreground    </>
  923.     <left-indent>    &left-indent.1    </>
  924.     <right-indent>    &right-indent.1    </>
  925.     <first-indent>    &left-indent.1    </>
  926.     <line-spacing>    &body.line-space    </>
  927.     <break-before>    False    </>
  928.     <break-after>    True    </>
  929.     <column>    False    </>
  930. </style>
  931.  
  932. <style name="MANUAL,FRONTMATTER">
  933.     <foreground>    &hot-link.color    </>
  934.     <left-indent>    40    </>
  935.     <space-before>    10    </>
  936.     <icon-position>    Left    </>
  937.     <break-before>    True    </>
  938.     <break-after>    True    </>
  939.     <script>    ebt-link root=me() window=new stylesheet=frontmatter    </>
  940.     <icon-type>    copyrt    </>
  941. </style>
  942.  
  943. <style name="MARGINTEXT">
  944.     <font-slant>    &font-slant.italics    </>
  945.     <foreground>    &hot-link.color    </>
  946.     <left-indent>    40    </>
  947.     <space-before>    0    </>
  948.     <icon-position>    Left    </>
  949.     <hide>    Children    </>
  950.     <script>    ebt-reveal  window="new" stylesheet="fulltext.rev" hscroll="false" width=450 title="Margin Note"    </>
  951.     <icon-type>    margin    </>
  952. </style>
  953.  
  954. <style name="MENUCHOICE">
  955.     <break-before>    False    </>
  956.     <break-after>    False    </>
  957. </style>
  958.  
  959. <style name="MENUNAME">
  960.     <break-before>    False    </>
  961.     <break-after>    False    </>
  962. </style>
  963.  
  964. <style name="MSG">
  965.     <font-family>    &command-font    </>
  966.     <character-set>    &character-set    </>
  967.     <space-before>    &default.space-b4    </>
  968.     <justification>    Verbatim    </>
  969.     <break-before>    True    </>
  970. </style>
  971.  
  972. <style name="NAMES">
  973.     <font-weight>    &font-weight.medium    </>
  974.     <break-before>    True    </>
  975.     <break-after>    True    </>
  976. </style>
  977.  
  978. <style name="NEWLINE">
  979.     <line-spacing>    13    </>
  980.     <break-before>    if (ancestor(TITLE), false, true)    </>
  981. </style>
  982.  
  983. <style name="NEWTERM">
  984.     <font-slant>    &font-slant.italics    </>
  985. </style>
  986.  
  987. <style name="NONPRKEYS">
  988.     <font-family>    &command-font    </>
  989.     <character-set>    &character-set    </>
  990.     <font-weight>    &font-weight.bold    </>
  991. </style>
  992.  
  993. <style name="NORMAL_PARAGRAPH">
  994.     <space-before>    if(isfirst(),6,switch(tag(ancestor(*,me(),1)), PART,12,INTRODUCTION,12,CHAPTER,12,APPENDIX,12,SECTION1,12,SECTION2,12,SECTION3,12,DEFAULT,6))    </>
  995.     <break-before>    True    </>
  996. </style>
  997.  
  998. <style name="NOTE,#TEXT-BEFORE">
  999.     <font-weight>    &font-weight.bold    </>
  1000.     <foreground>    ¬e.foreground    </>
  1001. </style>
  1002.  
  1003. <style name="ORDEREDLIST">
  1004.     <space-after>    5    </>
  1005.     <break-before>    False    </>
  1006.     <break-after>    False    </>
  1007. </style>
  1008.  
  1009. <style name="ORDEREDLIST,LIST">
  1010.     <space-before>    &default.ind.space-b4    </>
  1011.     <break-before>    True    </>
  1012.     <text-before>cnum(me()).</>
  1013. </style>
  1014.  
  1015. <style name="ORDEREDLISTIND">
  1016.     <left-indent>    &list.left-indent    </>
  1017. </style>
  1018.  
  1019. <style name="PARAGRAPH">
  1020.     <select>    if(eq(tag(ancestor()),CELL),CELL_PARAGRAPH,NORMAL_PARAGRAPH)    </>
  1021. </style>
  1022.  
  1023. <style name="PART">
  1024.     <space-before>    &chp.title.space-b4    </>
  1025. </style>
  1026.  
  1027. <style name="PART,PARAGRAPH">
  1028.     <select>    if(eq(tag(ancestor()),CELL),CELL_PARAGRAPH,NORMAL_PARAGRAPH)    </>
  1029. </style>
  1030.  
  1031. <style name="PART,TITLE,#TEXT-BEFORE">
  1032.     <font-family>    &title-font    </>
  1033.     <font-weight>    &font-weight.bold    </>
  1034.     <font-slant>    &font-slant.roman    </>
  1035.     <font-size>    11    </>
  1036.     <space-after>    10    </>
  1037.     <break-after>    True    </>
  1038. </style>
  1039.  
  1040. <style name="PREFIX">
  1041.     <font-family>    &table-font    </>
  1042.     <font-weight>    &font-weight.bold    </>
  1043.     <font-size>    &body.font-size    </>
  1044.     <text-after>if(ancestor(CAPTION),,: ) </>
  1045. </style>
  1046.  
  1047. <style name="PROGRAMNAME">
  1048.     <font-slant>    &font-slant.italics    </>
  1049. </style>
  1050.  
  1051. <style name="QANDA">
  1052.     <space-before>    &default.space-b4    </>
  1053. </style>
  1054.  
  1055. <style name="REFERENCE">
  1056.     <space-before>    if(ancestor(APPENDIX),0,36)    </>
  1057.     <break-before>    True    </>
  1058. </style>
  1059.  
  1060. <style name="REFPAGE">
  1061.     <foreground>    &cross-link.color    </>
  1062.     <icon-position>    Off    </>
  1063.     <script>    ebt-launch cmd="/usr/sbin/xwsh -title \'content(me())\' -geom 80x40 -hold -e man if(eq(words(translate(translate(content(me()),'(',' '),')',' ')),2), join(strip(word(translate(translate(content(me()),'(',' '),')',' '),2),'ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz','R'),' ',word(translate(translate(content(me()),'(',' '),')',' '),1)), content(me()))"    </>
  1064. </style>
  1065.  
  1066. <style name="ROW">
  1067.     <space-before>    if(ancestor(CAPTION),if(isfirst(),0,4),if(isfirst(),4,6))    </>
  1068.     <space-after>    if(lsibling(TABLEHEADING,ancestor(TABLEBODY)),if(islast(),6,0),0)    </>
  1069.     <!--    <space-before>    &table.space-before    </> -->
  1070.     <break-before>    True    </>
  1071. </style>
  1072.  
  1073. <style name="SCREENDISPLAY">
  1074.     <font-family>    &command-font    </>
  1075.     <character-set>    &character-set    </>
  1076. </style>
  1077.  
  1078. <style name="SECTION1">
  1079.     <break-before>    True    </>
  1080. </style>
  1081.  
  1082. <style name="SECTION2">
  1083.     <break-before>    True    </>
  1084. </style>
  1085.  
  1086. <style name="SECTION3">
  1087.     <break-before>    True    </>
  1088. </style>
  1089.  
  1090. <style name="SECTION4">
  1091.     <break-before>    True    </>
  1092. </style>
  1093.  
  1094. <style name="SGIINDEX">
  1095.     <hide>    All    </>
  1096.     <break-before>    True    </>
  1097.     <break-after>    True    </>
  1098.     <text-before>&index.text-b4 </>
  1099. </style>
  1100.  
  1101. <style name="SGIINDEX,#TEXT-BEFORE">
  1102.     <font-size>    &chp.title.font-size    </>
  1103.     <line-spacing>    &chp.title.line-space    </>
  1104. </style>
  1105.  
  1106. <style name="SP">
  1107.     <break-before>    False    </>
  1108.     <break-after>    False    </>
  1109.     <text-before>á á</>
  1110. </style>
  1111.  
  1112. <style name="SPARES">
  1113.     <break-before>    True    </>
  1114. </style>
  1115.  
  1116. <style name="SPARESBODY">
  1117.     <space-before>    &default.space-b4    </>
  1118.     <break-before>    True    </>
  1119.     <break-after>    True    </>
  1120. </style>
  1121.  
  1122. <style name="SPARESBODY,EXAMPLE">
  1123.     <font-family>    &wp.font-family    </>
  1124.     <space-before>    &default.space-b4    </>
  1125.     <space-after>    &default.space-after    </>
  1126.     <justification>    Verbatim    </>
  1127.     <break-before>    True    </>
  1128. </style>
  1129.  
  1130. <style name="SSB">
  1131.     <break-before>    True    </>
  1132. </style>
  1133.  
  1134. <style name="SSBBODY">
  1135.     <select>    SPARESBODY    </>
  1136. </style>
  1137.  
  1138. <style name="SSBBODY,EXAMPLE">
  1139.     <font-family>    &wp.font-family    </>
  1140.     <font-size>    16    </>
  1141.     <space-before>    &default.space-b4    </>
  1142.     <space-after>    &default.space-after    </>
  1143.     <justification>    Verbatim    </>
  1144.     <break-before>    True    </>
  1145. </style>
  1146.  
  1147. <style name="SSBBODY,PARAGRAPH">
  1148.     <font-family>    &wp.font-family    </>
  1149.     <font-size>    16    </>
  1150.     <space-before>    &default.space-b4    </>
  1151.     <space-after>    &default.space-after    </>
  1152.     <justification>    Verbatim    </>
  1153.     <break-before>    True    </>
  1154. </style>
  1155.  
  1156. <style name="SSLIST">
  1157.     <break-before>    False    </>
  1158. </style>
  1159.  
  1160. <style name="SSLIST,LISTIND">
  1161.     <left-indent>    +=40    </>
  1162.     <first-indent>    -20    </>
  1163.     <break-before>    True    </>
  1164.     <break-after>    False    </>
  1165.     <text-before>format(cnum(),letter).</>
  1166. </style>
  1167.  
  1168. <style name="SSLIST,LISTIND,PARAGRAPH">
  1169.     <break-before>    False    </>
  1170.     <break-after>    False    </>
  1171. </style>
  1172.  
  1173. <style name="SUBSCRIPT">
  1174.     <vertical-offset>    -3    </>
  1175. </style>
  1176.  
  1177. <style name="SUPERSCRIPT">
  1178.     <vertical-offset>    4    </>
  1179. </style>
  1180.  
  1181. <style name="SUPPORT">
  1182.     <font-family>    &wp.font-family    </>
  1183.     <font-size>    &wp.font-size    </>
  1184.     <foreground>    &default.foreground    </>
  1185.     <left-indent>    &left-indent.1    </>
  1186.     <right-indent>    &right-indent.1    </>
  1187.     <line-spacing>    &wp.line-spacing    </>
  1188.     <break-before>    False    </>
  1189.     <break-after>    True    </>
  1190.     <column>    False    </>
  1191. </style>
  1192.  
  1193. <style name="SYM">
  1194.     <font-family>    symbol    </>
  1195.     <font-weight>    &font-weight.medium    </>
  1196.     <character-set>    symbol    </>
  1197. </style>
  1198.  
  1199. <style name="SYNOPSIS">
  1200.     <space-before>    if(isfirst(),6,3)    </>
  1201.     <break-before>    true    </>
  1202. </style>
  1203.  
  1204. <style name="TABLE">
  1205.     <icon-position>    Left    </>
  1206.     <select>    if(typechild(CAPTION),if(eq(file(env(HOME)/.tabsInsight),FILE),TABLE_OUT,TABLE_IN),)    </>
  1207. </style>
  1208.  
  1209. <style name="TABLE,#TEXT-BEFORE">
  1210.     <font-weight>    &font-weight.bold    </>
  1211.     <foreground>    &hot-link.color    </>
  1212.     <space-before>    &default.space-b4    </>
  1213.     <script>    ebt-reveal stylesheet="fulltext.v"    </>
  1214. </style>
  1215.  
  1216. <style name="TABLE,CAPTION">
  1217.     <font-family>    &body.font-family    </>
  1218.     <font-size>    &body.font-size    </>
  1219.     <foreground>    &hot-link.color    </>
  1220.     <space-before>    6    </>
  1221.     <space-after>    if(rsibling(),6,0)    </>
  1222.     <script>    ebt-reveal stylesheet="fulltext.rev" title="change(content(me()),' (continued)','',false)" hscroll="true" root=ancestor(TABLE) window="new" lockhdrs="true" tablehdr=typechild(TABLEHEADING,ancestor(TABLE)) tablebody=typechild(TABLEBODY,ancestor(TABLE))  width=mult(2.12,add(12,attr(WIDTH,typechild(CELL,typechild(TABLEHEADING,ancestor(TABLE)),1)), attr(WIDTH,typechild(CELL,typechild(TABLEHEADING,ancestor(TABLE)),2)), attr(WIDTH,typechild(CELL,typechild(TABLEHEADING,ancestor(TABLE)),3)), attr(WIDTH,typechild(CELL,typechild(TABLEHEADING,ancestor(TABLE)),4)), attr(WIDTH,typechild(CELL,typechild(TABLEHEADING,ancestor(TABLE)),5)), attr(WIDTH,typechild(CELL,typechild(TABLEHEADING,ancestor(TABLE)),6)), attr(WIDTH,typechild(CELL,typechild(TABLEHEADING,ancestor(TABLE)),7)), attr(WIDTH,typechild(CELL,typechild(TABLEHEADING,ancestor(TABLE)),8)), attr(WIDTH,typechild(CELL,typechild(TABLEHEADING,ancestor(TABLE)),9)), attr(WIDTH,typechild(CELL,typechild(TABLEHEADING,ancestor(TABLE)),10))))    </>
  1223.     <column>    False    </>
  1224. </style>
  1225.  
  1226. <style name="TABLE,CAPTION,PREFIX">
  1227.     <font-family>    &table-font    </>
  1228.     <font-weight>    &font-weight.bold    </>
  1229.     <font-size>    &body.font-size    </>
  1230.     <script>    ebt-reveal stylesheet="fulltext.rev" title="change(content(typechild(CAPTION,ancestor(TABLE))),' (continued)','',false)" hscroll="true" root=ancestor(TABLE) window="new" lockhdrs="true" tablehdr=typechild(TABLEHEADING,ancestor(TABLE)) tablebody=typechild(TABLEBODY,ancestor(TABLE))  width=mult(2.12,add(12,attr(WIDTH,typechild(CELL,typechild(TABLEHEADING,ancestor(TABLE)),1)), attr(WIDTH,typechild(CELL,typechild(TABLEHEADING,ancestor(TABLE)),2)), attr(WIDTH,typechild(CELL,typechild(TABLEHEADING,ancestor(TABLE)),3)), attr(WIDTH,typechild(CELL,typechild(TABLEHEADING,ancestor(TABLE)),4)), attr(WIDTH,typechild(CELL,typechild(TABLEHEADING,ancestor(TABLE)),5)), attr(WIDTH,typechild(CELL,typechild(TABLEHEADING,ancestor(TABLE)),6)), attr(WIDTH,typechild(CELL,typechild(TABLEHEADING,ancestor(TABLE)),7)), attr(WIDTH,typechild(CELL,typechild(TABLEHEADING,ancestor(TABLE)),8)), attr(WIDTH,typechild(CELL,typechild(TABLEHEADING,ancestor(TABLE)),9)), attr(WIDTH,typechild(CELL,typechild(TABLEHEADING,ancestor(TABLE)),10))))    </>
  1231.     <text-after>if(ancestor(CAPTION),,: ) </>
  1232. </style>
  1233.  
  1234. <style name="TABLEBODY">
  1235.     <hrule>    if (lsibling(TABLEHEADING),after,)    </>
  1236. </style>
  1237.  
  1238. <style name="TABLEFOOTNOTE">
  1239.     <left-indent>    55    </>
  1240.     <first-indent>    -7    </>
  1241.     <space-before>    3    </>
  1242.     <break-before>    Line    </>
  1243.     <text-before>attr(LBL)</>
  1244. </style>
  1245.  
  1246. <style name="TABLEFOOTNOTE,#TEXT-BEFORE">
  1247.     <font-size>    -=2    </>
  1248.     <vertical-offset>    4    </>
  1249. </style>
  1250.  
  1251. <style name="TABLEHEADING">
  1252.     <font-family>    &title.font-family    </>
  1253.     <font-weight>    &font-weight.bold    </>
  1254.     <score>    None    </>
  1255.     <space-after>    4    </>
  1256.     <hrule>    Surround    </>
  1257.     <vrule>    None    </>
  1258.     <break-before>    True    </>
  1259. </style>
  1260.  
  1261. <style name="TABLEXREF">
  1262.     <foreground>    &hot-link.color    </>
  1263.     <vertical-offset>    4    </>
  1264.     <script>    ebt-reveal root=idmatch(ID,attr(IDREF)) window="new" stylesheet="fulltext.rev" hscroll="true" title="Table Footnote" width=500    </>
  1265. </style>
  1266.  
  1267. <style name="TABLE_IN">
  1268.     <font-size>    &body.font-size    </>
  1269.     <left-indent>    if(typechild(CAPTION),48,)    </>
  1270.     <width>    mult(1.55,add(attr(WIDTH,typechild(CELL,typechild(ROW,typechild(TABLEBODY)))), attr(WIDTH,typechild(CELL,typechild(ROW,typechild(TABLEBODY)),2)), attr(WIDTH,typechild(CELL,typechild(ROW,typechild(TABLEBODY)),3)), attr(WIDTH,typechild(CELL,typechild(ROW,typechild(TABLEBODY)),4)), attr(WIDTH,typechild(CELL,typechild(ROW,typechild(TABLEBODY)),5)), attr(WIDTH,typechild(CELL,typechild(ROW,typechild(TABLEBODY)),6)), attr(WIDTH,typechild(CELL,typechild(ROW,typechild(TABLEBODY)),7)), attr(WIDTH,typechild(CELL,typechild(ROW,typechild(TABLEBODY)),8)), attr(WIDTH,typechild(CELL,typechild(ROW,typechild(TABLEBODY)),9)), attr(WIDTH,typechild(CELL,typechild(ROW,typechild(TABLEBODY)),10))))    </>
  1271.     <line-spacing>    &body.line-space    </>
  1272.     <space-before>    if(rsibling(typechild(CAPTION)),0,if(typechild(CAPTION),12,0))    </>
  1273.     <space-after>    if(typechild(CAPTION),6,6)    </>
  1274.     <break-before>    true    </>
  1275.     <break-after>    true    </>
  1276. </style>
  1277.  
  1278. <style name="TABLE_OUT">
  1279.     <foreground>    &hot-link.color    </>
  1280.     <icon-position>    Left    </>
  1281.     <hide>    Children    </>
  1282.     <break-before>    TRUE    </>
  1283.     <script>    ebt-reveal stylesheet="fulltext.rev" title="content(typechild(CAPTION))" hscroll="true" root=me() window="new" lockhdrs="true" tablehdr=typechild(TABLEHEADING) tablebody=typechild(TABLEBODY)  width=mult(2.12,add(12,attr(WIDTH,typechild(CELL,typechild(TABLEHEADING),1)), attr(WIDTH,typechild(CELL,typechild(TABLEHEADING),2)), attr(WIDTH,typechild(CELL,typechild(TABLEHEADING),3)), attr(WIDTH,typechild(CELL,typechild(TABLEHEADING,),4)), attr(WIDTH,typechild(CELL,typechild(TABLEHEADING),5)), attr(WIDTH,typechild(CELL,typechild(TABLEHEADING),6)), attr(WIDTH,typechild(CELL,typechild(TABLEHEADING),7)), attr(WIDTH,typechild(CELL,typechild(TABLEHEADING),8)), attr(WIDTH,typechild(CELL,typechild(TABLEHEADING),9)), attr(WIDTH,typechild(CELL,typechild(TABLEHEADING),10))))    </>
  1284.     <icon-type>    table    </>
  1285.     <text-after>content(typechild(CAPTION))</>
  1286. </style>
  1287.  
  1288. <style name="TABLE_OUT,#TEXT-AFTER">
  1289.     <script>    ebt-reveal stylesheet=fulltext.rev hscroll=true window=new width=700    </>
  1290. </style>
  1291.  
  1292. <style name="TBL_GRAPHIC_IN">
  1293.     <break-before>    None    </>
  1294.     <break-after>    None    </>
  1295.     <script-title>    Graphic    </>
  1296.     <script>    ebt-if(contains(attr(FILE),.cgm),vector,raster) filename="attr(FILE)" title="content(rsibling('CAPTION'))"    </>
  1297.     <inline>    if(contains(attr(FILE),.cgm),vector,raster) scale=if(isempty(attr(SCALE)),FALSE,attr(SCALE)) filename="attr(FILE)"    </>
  1298. </style>
  1299.  
  1300. <style name="TBL_GRAPHIC_OUT">
  1301.     <foreground>    &hot-link.color    </>
  1302.     <icon-position>    Inline    </>
  1303.     <script-title>    Graphic    </>
  1304.     <script>    ebt-if(contains(attr(FILE),.cgm),vector,raster) filename="attr(FILE)" title="content(rsibling('CAPTION'))"    </>
  1305.     <icon-type>    if(eq(file(var(fig_dir)/attr(FILE).hot),FILE),rasterhot,raster)    </>
  1306. </style>
  1307.  
  1308. <style name="TECHNICAL">
  1309.     <font-weight>    &font-weight.bold    </>
  1310.     <hide>    Children    </>
  1311.     <break-before>    True    </>
  1312.     <break-after>    True    </>
  1313. </style>
  1314.  
  1315. <style name="TIP,#TEXT-BEFORE">
  1316.     <font-weight>    &font-weight.bold    </>
  1317.     <foreground>    ¬e.foreground    </>
  1318. </style>
  1319.  
  1320. <style name="USERINPUT">
  1321.     <font-family>    &command-font    </>
  1322.     <character-set>    &character-set    </>
  1323.     <font-weight>    &font-weight.bold    </>
  1324. </style>
  1325.  
  1326. <style name="VARIABLE">
  1327.     <font-family>    &body.font-family    </>
  1328.     <font-slant>    &font-slant.italics    </>
  1329.     <break-before>    False    </>
  1330.     <break-after>    False    </>
  1331. </style>
  1332.  
  1333. <style name="VBLOCK">
  1334.     <break-before>    True    </>
  1335.     <break-after>    True    </>
  1336. </style>
  1337.  
  1338. <style name="VIDEO">
  1339.     <foreground>    &hot-link.color    </>
  1340.     <icon-position>    Right    </>
  1341.     <script>    ebt-launch cmd="attr(APP) attr(FILE)"    </>
  1342.     <icon-type>    video    </>
  1343. </style>
  1344.  
  1345. <style name="WARNING,#TEXT-BEFORE">
  1346.     <font-weight>    &font-weight.bold    </>
  1347. </style>
  1348.  
  1349. <style name="XREF">
  1350.     <font-weight>    &font-weight.bold    </>
  1351.     <foreground>    &hot-link.color    </>
  1352.     <select>    XREF,XREF_attr(TYPE)    </>
  1353. </style>
  1354.  
  1355. <style name="XREF_">
  1356.     <script>    ebt-link target=idmatch(ID,attr(IDREF))    </>
  1357. </style>
  1358.  
  1359. <style name="XREF_GRAPHIC">
  1360.     <script-title>    Graphic    </>
  1361.     <script>    ebt-if(contains(attr(FILE,lsibling(GRAPHIC,ancestor(CAPTION,idmatch(ID,attr(IDREF))))),.cgm),vector,raster) filename="attr(FILE,lsibling(GRAPHIC,ancestor(CAPTION,idmatch(ID,attr(IDREF)))))" title="join(change(content(ancestor(CAPTION,idmatch(ID,attr(IDREF)))),\",\'\',TRUE))"    </>
  1362. </style>
  1363.  
  1364. <style name="XREF_TABLE">
  1365.     <script>    ebt-link target=ancestor(ancestor(idmatch(ID,attr(IDREF))))    </>
  1366. </style>
  1367.  
  1368. <style name="XREF_TEXT">
  1369.     <script>    ebt-link target=idmatch(ID,attr(IDREF))    </>
  1370. </style>
  1371.  
  1372. <style name="XREF_TITLE">
  1373.     <script>    ebt-link target=idmatch(ID,attr(IDREF))    </>
  1374. </style>
  1375.  
  1376. <style name="ZAPF">
  1377.     <font-family>    itc zapf dingbats    </>
  1378.     <character-set>    symbol    </>
  1379. </style>
  1380.  
  1381.  
  1382.  
  1383. </sheet>
  1384.